SAT constants problems